|
Thomas Henzinger (born 1962) is an Austrian computer scientist and researcher. ==Life and career== Henzinger was born in Austria. He received his bachelor's degree in computer science from Johannes Kepler University in Linz, and his PhD from Stanford University in 1991. He was successively Assistant Professor of Computer Science at Cornell University (1992-95) and Assistant Professor (1996-97), Associate Professor (1997-98), and Professor (1998-2004) of Electrical Engineering and Computer Sciences at the University of California, Berkeley. He was also director of the Max Planck Institute of Computer Science in Saarbrücken, Germany in 1999 and Professor of Computer and Communication Sciences at EPFL (the Swiss Federal Institute of Technology in Lausanne), Switzerland from 2004 to 2009. 〔 He is currently the president of the Institute of Science and Technology, Austria.〔 His research is concerned with modern systems theory, particularly on the models, algorithms, and tools for the design and verification of reliable software, hardware, and embedded systems. His HyTech tool was the first model checker for mixed discrete-continuous systems.〔 He was awarded the 2015 Milner Award by the Royal Society〔 (【引用サイトリンク】 title= Royal Society Milner Award ) 〕 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Thomas Henzinger」の詳細全文を読む スポンサード リンク
|